5 results
Cofree coalgebras and differential linear logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 4 / April 2020
- Published online by Cambridge University Press:
- 10 June 2020, pp. 416-457
-
- Article
- Export citation
Encodings of Turing machines in linear logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 4 / April 2020
- Published online by Cambridge University Press:
- 10 June 2020, pp. 379-415
-
- Article
- Export citation
Residues and duality for singularity categories of isolated Gorenstein singularities
- Part of
-
- Journal:
- Compositio Mathematica / Volume 149 / Issue 12 / December 2013
- Published online by Cambridge University Press:
- 09 September 2013, pp. 2071-2100
- Print publication:
- December 2013
-
- Article
-
- You have access
- Export citation
On two examples by Iyama and Yoshino
- Part of
-
- Journal:
- Compositio Mathematica / Volume 147 / Issue 2 / March 2011
- Published online by Cambridge University Press:
- 09 February 2011, pp. 591-612
- Print publication:
- March 2011
-
- Article
-
- You have access
- Export citation
Rouquier's Cocovering Theorem and Well-generated Triangulated Categories
-
- Journal:
- Journal of K-Theory / Volume 8 / Issue 1 / August 2011
- Published online by Cambridge University Press:
- 01 September 2010, pp. 31-57
- Print publication:
- August 2011
-
- Article
- Export citation